- Abstract Normal Form
- Mathematics: ANF
Универсальный русско-английский словарь. Академик.ру. 2011.
Abstract Normal Form
Смотреть что такое "Abstract Normal Form" в других словарях:
Normal form — may refer to: Normal form (abstract rewriting) Normal form (databases) Normal form (game theory) Normal form (mathematics) In formal language theory: Beta normal form Chomsky normal form Greibach normal form Kuroda normal form Normal form… … Wikipedia
Normal form (abstract rewriting) — In abstract rewriting, a normal form is an element of the system which cannot be rewritten any further. Stated formally, for some reduction relation ⋅ → ⋅ over X a term t in X is a normal form if there does not exist a term t′ in X such … Wikipedia
Normal form (term rewriting) — In considering rewriting systems, a normal form is an element of the system which cannot be rewritten any further. Consider the basic term rewriting system with reduction rule ρ : g ( x , y ) → x . The term g ( g (4, 2), g (3, 1)) has the… … Wikipedia
Frobenius normal form — In linear algebra, the Frobenius normal form, Turner binormal projective form or rational canonical form of a square matrix A is a canonical form for matrices that reflects the structure of the minimal polynomial of A and provides a means of… … Wikipedia
Abstract rewriting system — In mathematical logic and theoretical computer science, an abstract rewriting system (also (abstract) reduction system or abstract rewrite system; abbreviation ARS) is a formalism that captures the quintessential notion and properties of… … Wikipedia
Abstract Rewriting Machine — The Abstract Rewriting Machine (ARM) is a virtual machinewhich implements term rewriting for minimal term rewriting systems. Minimal term rewriting systems are left linear termrewriting systems in which each rule takes on one of six… … Wikipedia
Abstract rewriting machine — The Abstract Rewriting Machine (ARM) is a virtual machine which implements term rewriting for minimal term rewriting systems. Minimal term rewriting systems are left linear term rewriting systems in which each rule takes on one of six forms:… … Wikipedia
Abstract labour and concrete labour — Part of a series on Marxism … Wikipedia
Normal subgroup — Concepts in group theory category of groups subgroups, normal subgroups group homomorphisms, kernel, image, quotient direct product, direct sum semidirect product, wreath product … Wikipedia
Normal distribution — This article is about the univariate normal distribution. For normally distributed vectors, see Multivariate normal distribution. Probability density function The red line is the standard normal distribution Cumulative distribution function … Wikipedia
Normal bundle — In differential geometry, a field of mathematics, a normal bundle is a particular kind of vector bundle, complementary to the tangent bundle, and coming from an embedding (or immersion). Contents 1 Definition 1.1 Riemannian manifold 1.2 … Wikipedia
